- Common LO Verification System
- Abbreviation: CLOVRS
Универсальный русско-английский словарь. Академик.ру. 2011.
Common LO Verification System
Смотреть что такое "Common LO Verification System" в других словарях:
Prototype Verification System — PVS, or the Prototype Verification System, is a specification language integrated with support tools and a theorem prover.It was developed at the Computer Science Laboratory of SRI International, California, USA. PVS is based on a kernel… … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
Common Agricultural Policy — European Union This article is part of the series: Politics and government of the European Union … Wikipedia
Common Criteria — The Common Criteria for Information Technology Security Evaluation (abbreviated as Common Criteria or CC) is an international standard (ISO/IEC 15408) for computer security certification. It is currently in version 3.1.[1] Common Criteria is a… … Wikipedia
Common Fisheries Policy — The Common Fisheries Policy (CFP) is the fisheries policy of the European Union (EU). It sets quotas for which member states are allowed to catch what amounts of each type of fish, as well as encouraging the fishing industry by various market… … Wikipedia
Common Foreign and Security Policy — This article deals with the workings of European Union foreign policy. For the relations between the European Union and third countries, see Foreign relations of the European Union. European Union This a … Wikipedia
Common Intermediate Language — For the counterpart to compiled assembly in the Microsoft .NET framework, see .NET assembly. Common Intermediate Language (CIL, pronounced either sil or kil ) (formerly called Microsoft Intermediate Language or MSIL) is the lowest level human… … Wikipedia
Third-party verification — TPV (Third party verification) is a process of getting an independent party to confirm that the customer is actually requesting a change or ordering a new service or product. By putting the customer on the phone (usually via transfer or 3 way… … Wikipedia
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
Judicial system of the People's Republic of China — For the Ministry of Justice, see Ministry of Justice of the People s Republic of China. People s Republic of China This article is part of the series: Politics and government of … Wikipedia
Trusted Computer System Evaluation Criteria — (TCSEC) is a United States Government Department of Defense (DoD) standard that sets basic requirements for assessing the effectiveness of computer security controls built into a computer system. The TCSEC was used to evaluate, classify and… … Wikipedia
